Reprint Transmission Systems Prototyping based on Stateflow/Simulink Models
نویسندگان
چکیده
In this paper we describe an efficient methodology for rapid prototyping of data transmission systems based on Stateflow/Simulink models using a multi-level system development and testing approach. Transmission systems incorporate multi-domain functions and algorithms, i.e. physical layer circuits and communication protocol controllers. The Stateflow/Simulink environment enables the development of precise simulation models that include signal and protocol processing units. The proposed prototyping methodology is based on the progressive translation of high-level model blocks into hardware/software modules of the prototype architecture using custom and/or automated code generation tools. A custom data exchange and synchronization interface between the Stateflow/Simulink workspace and the circuit modules enables the integration of the simulation model and the prototyping platform into a complete functional system. The application of the proposed methodology in the development of an ADSL modem in a custom prototyping platform is also described.
منابع مشابه
Semantic Translation of Simulink/Stateflow models to
Research in the field of hybrid systems has produced a number of verification tools. Formal verification of systems is performed using such tools. In practice prototyping and simulation tools such as Matlab’s Simulink and Stateflow (MSS) are prevalent. The paper formally describes a translation process that can convert a well-defined subset of MSS into a standard form of hybrid automata. This t...
متن کاملReprint APSK Coded Modulation Techniques: From Simulink Models to DSP Implementation
This paper presents the application of a versatile and flexible environment on prototyping data transmission devices that are based on digital signal processors (DSPs). This development environment integrates the Matlab/Simulink tools with the TI DSPs in a unified setup that allows interaction between the model running on Matlab/Simulink and the software modules running on the DSP platform, thr...
متن کاملModel-based Verification and Validation of an Autonomous Vehicle System
The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operates safely and effectively. EAST-ADL is a domain specific architectural language dedicated to safety-critical automotive embedded system design. We have previously modified EAST-ADL to include energy constraints and tr...
متن کاملReprint From Matlab/Simulink Models to Prototype Implementation: A Communication Systems Development Environment
The aim of this paper is to present a flexible and versatile environment for developing, analyzing and prototyping data communication and signal processing systems. This environment is based on the Matlab/Simulink tools and a reconfigurable hardware platform that includes reprogrammable and digital processing circuits. The hardware platform communicates with the Matlab workspace via a dynamic d...
متن کاملModel-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models
In this paper we report on work in progress to extend the QuantUM approach to support the quantitative property analysis of Matlab Simulink / Stateflow models. We propose a translation of Simulink / Stateflow models to CTMCs which can be analyzed using the PRISM model checker inside the QuantUM tool. We also illustrate how the information needed to perform probabilistic analysis of dependabilit...
متن کامل